Dealing with Non-local Choice in IEEE 1073.2's Standard for Remote Control
نویسندگان
چکیده
Currently, communication protocols for medical devices are being developed for the IEEE 1073.2 standard. The protocol description in its draft remote control package consists of a collection of intended behaviors in terms of MSCs. We have contributed to actually constructing the protocol, ranging from determining an hMSC for these MSCs, via synthesizing process implementations, to integrating it with the basic underlying IEEE 1073.2 protocol. In this paper we report on the non-local choice problems we encountered. We present a practical solution (i.e. an implementation) which on the one hand is close to the behavior specified in the hMSC, and on the other hand meets correctness properties such as deadlock freedom. These properties have been checked using the Spin model checker. We also give some directions for generalizing and extending this work.
منابع مشابه
Optimal Placement of Phasor Measurement Units to Maintain CompleteObservability Considering Maximum Reliability by Non-dominated Sorting Genetic Algorithm-II (NSGA-II)
Ever-increasing energy demand has led to geographic expansion of transmission lines and their complexity. In addition, higher reliability is expected in the transmission systemsdue to their vital role in power systems. It is very difficult to realize this goal by conventional monitoring and control methods. Thus, phasor measurement units (PMUs) are used to measure system parameters. Although in...
متن کاملA Cheap Wi-fi Instrumentation Remote Control Platform for Electric and Electronic Didactic Laboratory
Remote control of instrumentations and the connected measurement techniques represent an interesting topic particularly appreciated in some sectors as industry, research and e-learning. The current technologies allow to fully control modern instrumentation that is already conceived for this aim, while it is harder to manage old instrumentation not specifically designed for this kind of control....
متن کاملReconfiguration and optimal placement of distributed generations in distribution networks in the presence of remote voltage controlled bus using exchange market algorithm
Abstract: Since distribution networks have a large share of the losses in power systems, reducing losses in these networks is one of the key issues in reducing the costs of global networks, including issues Which has always been considered. In this thesis, the reconfiguration of the distribution network in the presence of distributed generation sources (DGs) with respect to two types of bus, P ...
متن کاملMitigation of Switching Harmonics in Shunt Active Power Filter Based on Variable Structure Control Approach
This paper presents a novel control approach used in shunt active power filter based on variable structure control combined with Random PWM technique (RVSC) that provides robust, fast, and more favorable performance for active power filter. This control strategy is compared with two other strategies to show the effectiveness of the introduced methods; pulse width modulated proportional-integral...
متن کاملحل مسئله پخش بار بهینه در شرایط نرمال و اضطراری با استفاده از الگوریتم ترکیبی گروه ذرات و نلدر مید (PSO-NM)
In this paper, solving optimal power flow problem has been investigated by using hybrid particle swarm optimization and Nelder Mead Algorithms. The goal of combining Nelder-Mead (NM) simplex method and particle swarm optimization (PSO) is to integrate their advantages and avoid their disadvantages. NM simplex method is a very efficient local search procedure but its convergence is extremely sen...
متن کامل